Bohr compactification

玻尔紧化